Sfoglia per Serie LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
UniToChest: A Lung Image Dataset for Segmentation of Cancerous Nodules on CT Scans
2022-01-01 Chaudhry H.A.H.; Renzulli R.; Perlo D.; Santinelli F.; Tibaldi S.; Cristiano Carmen; Grosso M.; Limerutti G.; Fiandrotti A.; Grangetto M.; Fonio P.
Using XML for Representing Domain Dependent Knowledge in Dialogos
2001-01-01 Guido Boella; Rossana Damiano; Morena Danieli; Leonardo Lesmo
Verifying Business Process Compliance by Reasoning about Actions
2010-01-01 D. D'Aprile; L. Giordano; V. Gliozzi; A. Martelli; G.L. Pozzato; D. Theseider Dupré
Verifying Protocol Conformance for Logic-Based Communicating Agents
2005-01-01 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
VINTE: An implementation of internal calculi for lewis' logics of counterfactual reasoning
2017-01-01 Girlando, Marianna; Lellmann, Bjoern; Olivetti, Nicola; Pozzato, Gian Luca; Vitalis, Quentin
Virtual Reality Experiential Training for Individuals with Autism: The Airport Scenario
2020-01-01 Soccini A.M.; Cuccurullo S.A.G.; Cena F.
Visualizing Normative Systems: An Abstract ApproachDeontic Logic in Computer Science
2012-01-01 Silvano Colombo Tosatto;Guido Boella;Leendert Torre;Serena Villata
What2Cite: Unveiling Topics and Citations Dependencies for Scientific Literature Exploration and Recommendation
2020-01-01 Giosa, Davide; Di Caro, Luigi
Young Adult Unemployment Through the Lens of Social Media: Italy as a Case Study
2020-01-01 Urbinati A.; Kalimeri K.; Bonanomi A.; Rosina A.; Cattuto C.; Paolotti D.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
UniToChest: A Lung Image Dataset for Segmentation of Cancerous Nodules on CT Scans | 2022 | Chaudhry H.A.H.; Renzulli R.; Perlo D.; Santinelli F.; Tibaldi S.; Cristiano Carmen; Grosso M.; Limerutti G.; Fiandrotti A.; Grangetto M.; Fonio P. | |
Using XML for Representing Domain Dependent Knowledge in Dialogos | 2001 | Guido Boella; Rossana Damiano; Morena Danieli; Leonardo Lesmo | |
Verifying Business Process Compliance by Reasoning about Actions | 2010 | D. D'Aprile; L. Giordano; V. Gliozzi; A. Martelli; G.L. Pozzato; D. Theseider Dupré | |
Verifying Protocol Conformance for Logic-Based Communicating Agents | 2005 | M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA | |
VINTE: An implementation of internal calculi for lewis' logics of counterfactual reasoning | 2017 | Girlando, Marianna; Lellmann, Bjoern; Olivetti, Nicola; Pozzato, Gian Luca; Vitalis, Quentin | |
Virtual Reality Experiential Training for Individuals with Autism: The Airport Scenario | 2020 | Soccini A.M.; Cuccurullo S.A.G.; Cena F. | |
Visualizing Normative Systems: An Abstract ApproachDeontic Logic in Computer Science | 2012 | Silvano Colombo Tosatto;Guido Boella;Leendert Torre;Serena Villata | |
What2Cite: Unveiling Topics and Citations Dependencies for Scientific Literature Exploration and Recommendation | 2020 | Giosa, Davide; Di Caro, Luigi | |
Young Adult Unemployment Through the Lens of Social Media: Italy as a Case Study | 2020 | Urbinati A.; Kalimeri K.; Bonanomi A.; Rosina A.; Cattuto C.; Paolotti D. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile